(declare-fun root-pkg!0 () Int)
(declare-fun root-pkg!1 () Int)
(assert (>= root-pkg!0 47))
(assert (<= root-pkg!0 53))
(assert (>= root-pkg!1 0))
(assert (<= root-pkg!1 0))
(assert (=> (= root-pkg!1 0) (>= root-pkg!0 47)))
(assert (=> (= root-pkg!1 0) (<= root-pkg!0 53)))
(check-sat)
